81. Scientific computing :
پدیدآورنده : Bertil Gustafsson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer input-output equipment.,Computer science-- Mathematics.,Computers.,History.,Mathematics.,Science-- Data processing.,Computer hardware.,Computer science.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Hardware-- General.,Engineering-- Data processing.,Engineering-- Mathematical models.,History of mathematics.,Mathematical theory of computation.,Mathematics-- Counting & Numeration.,Mathematics-- History & Philosophy.,Numerical analysis.,Program concepts-- learning to program.,Science-- Data processing.,Science-- Mathematical models.
رده :
Q183
.
9
.
G87
2018
82. Search for TtH Production in the H Bb Decay Channel: Using Deep Learning Techniques with the CMS Experiment
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Statistics / General ; SCIENCE / Physics / Nuclear ; &COMPUTERS / Artificial Intelligence / General ; MATHEMATICS / Probability
83. Semantics and algebraic specificatio
پدیدآورنده : / Jens Palsberg (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
7
,.
S435
,
2009
84. Semantics and algebraic specification
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
85. Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 1819, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 1819, 2021, Revised Selected Papers
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : COMPUTERS / Programming / General ; Mathematics ; Science ; Sciences ;
86. Teaching computing :
پدیدآورنده : Henry M. Walker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Study and teaching (Higher),Computer engineering.,Computer science-- Mathematics.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology-- Management.
رده :
QA76
.
27
87. The science of computing
پدیدآورنده : Meissner, Loren P.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Computer science-- Mathematics
رده :
QA
76
.
6
.
M44
88. The science of computing
پدیدآورنده : Meissner, Loren P
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers -- Programming,، Computer science -- Mathematics
رده :
QA
76
.
6
.
M44
89. Tools for High Performance Computing 2012
پدیدآورنده : edited by Alexey Cheptsov, Steffen Brinkmann, José Gracia, Michael M. Resch, Wolfgang E. Nagel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Mathematics.,Operating systems (Computers)
رده :
QA76
.
88
E358
2013
90. Zero Trust Security
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : COMPUTERS / Computer Science ; COMPUTERS / Security / General ; Mathematics ;
91. dependent Problems in Imaging and Parameter Identification-Time
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Engineering / Computer Graphics ; Mathematics ; MATHEMATICS / Number Systems ; &COMPUTERS / Data Science / General ; COMPUTERS / Software Development
